Les relations fondamentales entre droites sécantes
Dans un même plan, lorsqu'une droite coupe une autre, deux types importants de relations angulaires apparaissent :
- Angles adjacents supplémentaires (angles adjacents sur une droite): ils partagent un côté commun $OC$, et leurs autres côtés sont des prolongements opposés. Numériquement, les angles adjacents supplémentaires sont complémentaires (leur somme est de $180^\circ$).
- Angles opposés (angles opposés): ils ont un sommet commun $O$, et les côtés d'un angle sont les prolongements opposés des côtés de l'autre angle.
Pourquoi les angles opposés sont-ils toujours égaux ? Examinons cela avec une logique rigoureuse :
$because$ $\angle 1$ et $\angle 2$ sont complémentaires (définition des angles adjacents supplémentaires)
$because$ $\angle 3$ et $\angle 2$ sont complémentaires (définition des angles adjacents supplémentaires)
$\therefore$ $\angle 1 = \angle 3$ (les angles complémentaires d'un même angle sont égaux)
Perpendicularité : une position particulière de l'intersection
Perpendiculaire (Perpendicular) est un cas extrême d'intersection. Lorsque deux droites se coupent et forment quatre angles, si un de ces angles mesure $90^\circ$, alors les deux droites sont perpendiculaires. L'une de ces droites est appeléedroite perpendiculaire, et leur point d'intersection est appelépied de la perpendiculaire.
Critères principaux et propriétés fondamentales
- Langage symbolique: si les droites $a$ et $b$ sont perpendiculaires, on note $a \perp b$ ; si les segments $AB$ et $CD$ sont perpendiculaires, on note $AB \perp CD$.
- Postulat de perpendicularité: dans un même plan, par un point donné, il existe une et une seule droite perpendiculaire à une droite donnée. Cela établit l'unicité.
- Le segment perpendiculaire est le plus court: parmi tous les segments reliant un point extérieur à une droite aux points de cette droite, le segment perpendiculaire est le plus court.